perm filename BOOKS.BIB[WHT,LSP] blob
sn#754081 filedate 1984-05-12 generic text, type T, neo UTF8
@string(aplqq = "APL Quote Quad")
@string(cambridge = "Cambridge, Massachusetts")
@article(IEEE-PROPOSED-FLOATING-POINT-STANDARD
,Key = "IEEE"
,Author = "IEEE Computer Society Standard Committee, Microprocessor Standards Subcommittee, Floating-Point Working Group"
,Title = "A Proposed Standard for Binary Floating-Point Arithmetic"
,Journal = "Computer" ,Volume = "14" ,Number = "3"
,Month = MAR ,Year = "1981" ,Pages = "51-62")
@article(IEEE-FLOATING-POINT-IMPL-GUIDE
,Key = "Coonen"
,Author = "Coonen, Jerome T."
,Title = "An Implementation Guide to a Proposed Standard for Floating-Point Arithmetic"
,Journal = "Computer" ,Volume = "13" ,Number = "1"
,Month = JAN ,Year = "1980" ,Pages = "68-79"
,Note = "Errata for this paper appeared as @Cite(IEEE-FLOATING-POINT-IMPL-GUIDE-ERRATA).")
@article(IEEE-FLOATING-POINT-IMPL-GUIDE-ERRATA
,Key = "Coonen"
,Author = "Coonen, Jerome T."
,Title = "Errata for `An Implementation Guide to a Proposed Standard for Floating-Point Arithmetic'"
,Journal = "Computer" ,Volume = "14" ,Number = "3"
,Month = MAR ,Year = "1981" ,Pages = "62"
,Note = "These are errata for @Cite(IEEE-FLOATING-POINT-IMPL-GUIDE).")
@article(APL-COMPLEX-NOTATION
,key="Penfield"
,author="Penfield, Paul, Jr."
,title="Notation for Complex ``Part'' Functions"
,journal=APLQQ
,volume="8" ,number="1" ,month=Sep ,year="1977" ,pages="11-13"
,Annote = "Five proposals are presented for denoting the real part,
imaginary part, magnitude, and phase of complex numbers
in APL.
This is the first of a series of three papers
on the subject of extending APL to complex numbers.")
@article(APL-STORY-OF-O
,key="McDonnell"
,author="McDonnell, E.E."
,title="The Story of o"
,journal=APLQQ
,volume="8" ,number="2" ,month=Dec ,year="1977" ,pages="48-54"
,Annote = "The history is described of the development of the
APL ``circle'' function, which computes the various
trigonometric and hyperbolic functions. Some proposed
extensions are described, among them functions for handling
complex numbers.")
@article(APL-COMPLEX-EXTENSIONS
,key="Penfield"
,author="Penfield, Paul, Jr."
,title="Extension of APL Primitive Functions to the Complex Domain"
,journal=APLQQ
,volume="8" ,number="2" ,month=Mar ,year="1978" ,pages="36-41"
,Annote = "The possible ways are discussed of extending the primitive
functions of APL to operate on complex numbers.
This is the second of a series of three papers
on the subject of extending APL to complex numbers.")
@article(APL-COMPLEX-DESIGN-CHOICES
,key="Penfield"
,author="Penfield, Paul, Jr."
,title="Design Choices for Complex APL"
,journal=APLQQ
,volume="8" ,number="3" ,month=Jun ,year="1978" ,pages="8-15"
,Annote = "Problems with grafting complex numbers onto the existing
APL language are discussed. In particular, possible
notations for complex numbers and the question of
compatibility with the current ``real-number'' APL are
considered.
This is the last of a series of three papers
on the subject of extending APL to complex numbers.")
@article(APL-COMPLEX-COMMENTS
,key="Penfield"
,author="Penfield, Paul, Jr."
,title="Complex APL: Comments from the APL Community"
,journal=APLQQ
,volume="9" ,number="1" ,month=Sep ,year="1978" ,pages="6-10"
,Annote = "This paper discusses the responses of many readers to
three papers by Penfield on the subject of
extending APL to complex numbers.")
@book(MOONUAL
,key="Moon"
,author="Moon, David"
,title="MacLISP Reference Manual, Revision 0"
,publisher="M.I.T. Project MAC"
,year="April 1974"
,address=CAMBRIDGE
)
@book(BLACK-LISPM
,key="Weinreb"
,author="Weinreb, Daniel, and Moon, David"
,title="LISP Machine Manual, Preliminary Version"
,publisher=MITAI
,year="November 1978"
,address=CAMBRIDGE
,Annote = "The LISP dialect which runs on the LISP Machine processor
is described and documented. The dialect is a greatly
altered and extended descendant of MacLISP.
The title of this manual wraps around from the back cover
to the front in such a way that the last two words are
split across covers. For this reason it is sometimes
colloquially called the ``Chine Nual'' because that is
what appears on the front cover.
This edition has a black cover.")
@book(RED-LISPM
,key="Weinreb"
,author="Weinreb, Daniel, and Moon, David"
,title="LISP Machine Manual, Third Edition"
,publisher=MITAI
,year="March 1981"
,address=CAMBRIDGE
,Annote = "This is a revision is the language reference manual for
Lisp Machine LISP, a descendant of MacLISP which runs on
the Lisp Machine (also known as the CADR processor).
In this revision first appears documentation for the
LOOP macro and for flavors.
The title of this manual wraps around from the back cover
to the front in such a way that the last two words are
split across covers. For this reason it is sometimes
colloquially called the ``Chine Nual'' because that is
what appears on the front cover.
This edition has a bright red cover.")
@book(GRAY-LISPM
,key="Weinreb"
,author="Weinreb, Daniel, and Moon, David"
,title="LISP Machine Manual, Fourth Edition"
,publisher="Symbolics, Inc."
,year="July 1981"
,address=CAMBRIDGE
,Annote = "This is a revision is the language reference manual for
Lisp Machine LISP, a descendant of MacLISP which runs on
the Lisp Machine (also known as the CADR processor).
This is the first edition printed by Symbolics, Inc.
The title of this manual wraps around from the back cover
to the front in such a way that the last two words are
split across covers. For this reason it is sometimes
colloquially called the ``Chine Nual'' because that is
what appears on the front cover.
This edition has a gray cover.")
@book(BLUE-LISPM
,key="Weinreb"
,author="Weinreb, Daniel, and Moon, David"
,title="LISP Machine Manual, Fourth Edition"
,publisher=MITAI
,year="July 1981"
,address=CAMBRIDGE
,Annote = "This is a revision is the language reference manual for
Lisp Machine LISP, a descendant of MacLISP which runs on
the Lisp Machine (also known as the CADR processor).
The title of this manual wraps around from the back cover
to the front in such a way that the last two words are
split across covers. For this reason it is sometimes
colloquially called the ``Chine Nual'' because that is
what appears on the front cover.
This edition has a blue cover.")
@book(GREEN-LISPM
,key="Moon"
,author="Moon, David; Stallman, Richard; and Weinreb, Daniel"
,title="LISP Machine Manual, Fifth Edition"
,publisher=MITAI
,year="January 1983"
,address=CAMBRIDGE
,Annote = "This is a revision is the language reference manual for
Lisp Machine LISP, a descendant of MacLISP which runs on
the Lisp Machine (also known as the CADR processor).
The title of this manual wraps around from the back cover
to the front in such a way that the last two words are
split across covers. For this reason it is sometimes
colloquially called the ``Chine Nual'' because that is
what appears on the front cover.
This edition has a green cover.")
@book(MOONUAL
,key="Moon"
,author="Moon, David A."
,title="MacLISP Reference Manual"
,publisher="MIT Project MAC"
,year="April 1974"
,address=CAMBRIDGE
)
@TechReport(PITMANUAL
,Key = "Pitman"
,Author = "Pitman, Kent M."
,Title = "The Revised MacLISP Manual"
,Institution = MITLCS ,Address = CAMBRIDGE
,Number = "295" ,Month = May ,Year = "1983" ,Type = "MIT/LCR/TR")
@Manual(BBN-LISP
,key="Teitelman"
,author="Teitelman, W.; Bobrow, D.G.; Hartley, A.K.; and Murphy, D.L."
,title="BBN-LISP: TENEX Reference Manual"
,organization="Bolt, Beranek, and Newman, Inc."
,year="1971"
,address=CAMBRIDGE)
@Manual(INTERLISP-74
,key="Teitelman"
,author="Teitelman, Warren, et al."
,title="InterLISP Reference Manual"
,organization="Xerox Palo Alto Research Center"
,year="1974"
,address="Palo Alto, California"
,Note = "First revision.")
@Manual(INTERLISP-75
,key="Teitelman"
,author="Teitelman, Warren, et al."
,title="InterLISP Reference Manual"
,organization="Xerox Palo Alto Research Center"
,year="1975"
,address="Palo Alto, California"
,Note = "Second revision.")
@Manual(INTERLISP
,key="Teitelman"
,author="Teitelman, Warren, et al."
,title="InterLISP Reference Manual"
,organization="Xerox Palo Alto Research Center"
,year="1978"
,address="Palo Alto, California"
,Note = "Third revision."
,Annote = "The InterLISP Language is documented, including the
many user programming-aid packages such as DWIM,
CLISP, HELPSYS, and MASTERSCOPE.")
@book(PASCAL
,key="Jensen"
,author="Jensen, Kathleen, and Wirth, Niklaus"
,title="Pascal User Manual and Report"
,publisher="Springer-Verlag" ,year="1974" ,address="New York")
@InProceedings(APL-COMPLEX-PROPOSAL
,Key = "Penfield"
,Booktitle = "APL 79 Conference Proceedings"
,Author = "Penfield, Paul, Jr."
,Organization = "ACM SIGPLAN/STAPL"
,Title = "Proposal for a Complex APL"
,Year = "1979"
,Month = Jun
,Pages = "47-53"
,Address = "Rochester, New York"
,Note = "Proceedings published as @i[@Value(aplqq)] @b[9], 4 (June 1979)."
,Annote = "This is a concrete proposal for extending APL to
handle complex numbers. It is based on a series of papers
by Penfield which appeared in @i[@Value(aplqq)]
and reader responses to those papers.")
@InProceedings(APL-GCD-NOTATION
,Key = "McDonnell"
,Booktitle = "Proceedings of the APL 75 Congress"
,Author = "McDonnell, E.E."
,Organization = "Centro Nationale Universitario di Calcolo Elettronico,
University of Pisa, ACM SIGPLAN/STAPL, SEAS, and SHARE"
,Title = "A Notation for the GCD and LCM Functions"
,Year = "1975"
,Month = Jun
,Pages = "240-243"
,Address = "Pisa, Italy"
,Annote = "An upward compatible extension of the APL ``or'' and
``and'' operators (``@a[(]'' and ``@a[)]'') to mean
GCD and LCM, respectively, is proposed. It is furthermore
suggested that these functions be extended from the
domain of integers to the domain of complex rationals.")
@InProceedings(APL-COMPLEX-FLOOR
,Key = "McDonnell"
,Booktitle = "Proceedings of the APL 73 Congress"
,Author = "McDonnell, E.E."
,Title = "Complex Floor"
,Year = "1973"
,Month = Aug
,Pages = "299-305"
,Address = "Copenhagen, Denmark"
,Annote = "An extension of the floor and ceiling functions to
the domain of complex numbers is proposed. Compatibility
with the real domain is preserved, as well as a number
of familiar algebraic identities."
)
@InProceedings(APL-STANDARD
,Key = "Falkoff"
,Booktitle = "APL 79 Conference Proceedings"
,Author = "Falkoff, A.D., and Orth, D.L."
,Organization = "ACM SIGPLAN/STAPL"
,Title = "Development of an APL Standard"
,Year = "1979"
,Month = Jun
,Pages = "409-453"
,Address = "Rochester, New York"
,Note = "Proceedings published as @i[@Value(aplqq)] @b[9], 4 (June 1979)."
,Annote = "The development process for an APL standard for use
within IBM is described. The standard itself appears as
an appendix.")
@Manual(ANSI-FORTRAN-77
,Key = "ANSI"
,Title = "American National Standard Programming Language FORTRAN"
,Year = "1978"
,Address = "New York, New York"
,Edition = "ANSI X3.9-1978"
,Organization = "American National Standards Institute, Inc."
,Annote = "This is the official ANSI standard definition of the
FORTRAN 77 language. It defines both the full FORTRAN
language and a standard subset.")
@Manual(ANSI-PL1
,Key = "ANSI"
,Title = "American National Standard Programming Language PL/I"
,Year = "1976"
,Address = "New York, New York"
,Edition = "ANSI X3.53-1976"
,Organization = "American National Standards Institute, Inc."
,Annote = "This is the official ANSI standard definition of the
PL/I language.")
@Article(DRAFT-FORTRAN-77
,Key = "ANSI"
,Author = "ANSI X3J3 Committee"
,Journal = "ACM SIGPLAN Notices"
,Title = "Draft Proposed American National Standard FORTRAN"
,Year = "1976" ,Month = Mar ,Number = "3",,Volume = "11"
,Annote = "This is a draft of the ANSI FORTRAN 77 standard.
The final standard is ANSI X3.9-1978.")
@Manual(IBM-PL1-F
,Key = "IBM"
,Title = "IBM System/360 Operating System PL/I (F) Language Reference Manual"
,Year = "1970"
,Address = "White Plains, New York"
,Edition = "GC28-8201-3"
,Organization = "International Business Machines Corporation"
,Annote = "The concepts and many features of the programming
language PL/I are discussed and documented.
This document is meant by IBM to be used in conjunction
with the @i[PL/I (F) Programmer's Guide].")
@Manual(370-PRINCIPLES-OF-OPERATION
,Key = "IBM"
,Title = "IBM System/370 Principles of Operation"
,Year = "1976"
,Address = "Poughkeepsie, New York"
,Edition = "GA22-7000-5"
,Organization = "International Business Machines Corporation")
@Manual(IBM-APL
,Key = "IBM"
,Title = "APL\360 User's Manual"
,Year = "1968"
,Organization = "International Business Machines Corporation")
@article(APL-COMPLEX-IMPLEMENTATION
,key="McDonnell"
,author="McDonnell, E.E."
,title="An Implementation of Complex APL"
,journal=APLQQ
,volume="11" ,number="3" ,month=Mar ,year="1981" ,pages="19-22"
,Annote = "The extension to complex numbers is described of
the version of APL provided by I.P. Sharp Associates.
This implementation follows the proposal by Penfield
in the APL 79 Conference Proceedings, with a few minor
exceptions. Among these are the notation for complex
numbers; altering and renumbering of the left arguments
to the circle function; extension of the ``or'' and
``and'' functions to be ``gcd'' and ``lcm'', extended to
the complex domain; and omission of the proposed
extensions to the floor, ceiling, residue, and encode
functions.")
@Article(ALGOL-68-REVISED-REPORT
,Key = "van Wijngaarden"
,Author = "van Wijngaarden, A.; Mailloux, B.J.; Peck, J.E.L.;
Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.;
Merrtens, L.G.L.T.; and Fisker, R.G. (eds.)"
,Title = "Revised Report on the Algorithmic Language ALGOL 68"
,Journal = SIGPLAN ,Volume = "12" ,Number = "5"
,Month = May ,Year = "1977" ,Pages "1-70"
,Annote = "This is a revision of the definition of the algorithmic
language @c[algol] 68. The working group which developed
this revision has decided that it should be ``the final
definition of the language @c[algol] 68'', and the hope is
expressed that it will be possible that all implementations
may be brought into line with this standard.")
@Article(COMPLEX-GAMMA-ALGORITHM
,Key = "Kuki"
,Author = "Kuki, Hirondo"
,Title = "Complex Gamma Function with Error Control"
,Journal = CACM ,Volume = "15" ,Number = "4"
,Month = Apr ,Year = "1972" ,Pages "262-267"
,Annote = "An algorithm to compute the gamma function and the
loggamma function of a complex variable is presented.
The standard algorithm is modified in several respects
to insure the continuity of the function value and to
reduce accumulation of round-off errors. In addition
to computation of function values, this algorithm
includes an object-time estimation of round-off errors.
A @c[fortran] program for the algorithm appears in
the algorithms section of this issue.")
@InProceedings(APL-BRANCH-CUTS
,Key = "Penfield"
,Booktitle = "APL 81 Conference Proceedings"
,Author = "Penfield, Paul, Jr."
,Organization = "ACM SIGAPL"
,Title = "Principal Values and Branch Cuts in Complex APL"
,Year = "1981"
,Month = Sep
,Pages = "248-256"
,Address = "San Francisco"
,Note = "Proceedings published as @i[@Value(aplqq)] @b[12], 1 (September 1981)."
,Annote = "A proposal is presented for a consistent and systematic
choice of principal values and branch cuts for complex
exponentiation, logarithm,
trigonometric, hyperbolic, and Pythagorean functions
for use by APL. The branch cuts are chosen and justified
according to explicitly stated criteria.")
@InProceedings(APL-FORKES-COMPLEX-FLOOR
,Key = "Forkes"
,Booktitle = "APL 81 Conference Proceedings"
,Author = "Forkes, Doug"
,Organization = "ACM SIGAPL"
,Title = "Complex Floor Revisited"
,Year = "1981"
,Month = Sep
,Pages = "107-111"
,Address = "San Francisco"
,Note = "Proceedings published as @i[@Value(aplqq)] @b[12], 1 (September 1981)."
,Annote = "Three different proposals for extending the floor function
to the complex domain are compared. Each satisfies certain
interesting identities, but none satisfies all.")
@Comment{
→Project MAC Progress Report XI (July 1973 - July 1974)_.
Project MAC, MIT (Cambridge, 1974).
⎇
@Comment{
→An Introduction to COMIT Programming_.
MIT Research Laboratory of Electronics.
The MIT Press (Cambridge, 1962).
⎇
@Comment{
→COMIT Programmers Reference Manual_.
MIT Research Laboratory of Electronics.
The MIT Press (Cambridge, 1962).
⎇
@Comment{
Ackermann, William B., and Dennis, Jack B.
→VAL: A Value-Oriented Algorithmic Language (Preliminary reference Manual)_.
MIT/LCS/TR-218. MIT Laboratory for Computer Science (Cambridge, June 1979).
⎇
@Comment{
Aho, A.V., Johnson, S.C., and Ullman, J.D.
"Code Generation for Expressions with Common Subexpressions."
J. ACM 24, 1 (January 1977), 146-160.
⎇
@Incollection(ALLEN-AND-COCKE,
,Key = "Allen"
,Author = "Allen, Frances E., and Cocke, John"
,Title = "A Catalogue of Optimizing Transformations"
,Editor = "Rustin, Randall"
,Booktitle = "Design and Optimization of Compilers"
,Year = 1972
,Publisher = "Prentice-Hall"
,Address = "Englewood Cliffs, N.J."
,Pages = "1-30"
,Note = "Proceedings of the Courant Computer Science Symposium 5, March 1971")
@Article(ALLEN-AND-COCKE-76
,Key = "Allen"
,Author = "Allen, Frances E., and Cocke, John"
,Title = "A Program Data Flow Analysis Procedure"
,Journal = CACM ,Volume = "19" ,Number = "3"
,Month = Mar ,Year = "1976" ,Pages "137-147")
@Comment{
American National Standards Institute.
→Draft proposed ANS FORTRAN (BSR X3.9)_.
Reprinted as SIGPLAN Notices 11, 3 (March 1976).
⎇
@Article(ARSAC
,Key = "Arsac"
,Author = "Arsac, Jacques J."
,Title = "Syntactic Source to Source Transforms and Program Manipulation"
,Journal = CACM
,Month = JAN ,Year = 1979 ,Volume = 22 ,Number = 1 ,Pages = "43-54")
@Comment{
Arvind; Gostelow, Kim P.; and Plouffe, Wil.
→An Asynchronous Programming Language and Computing Machine_.
Department of Information and Computer Science, University of California (Irvine, December 1978).
⎇
@Comment{
Ashcroft, E.A., and Manna, Z.
"Formalization of Properties of Parallel Programs."
Machine Intelligence Vol. 6 (1970).
⎇
@Comment{
Ashcroft, E.A.
"Proving Assertions about Parallel Programs."
J. Comp. and Sys. Sci. 10 (1975), 110-135.
⎇
@Comment{
Atkinson, Russell R.
→Optimization Techniques for a Structured Programming Language_.
S.M. Thesis. MIT (Cambridge, 1976).
⎇
@Comment{
Auslander, M.A., and Strong, H.R.
→Systematic Recursion Removal_.
Report RC 5841 (#25283) IBM T.J. Watson Research Center (Yorktown Heights, New York, February 1976).
⎇
@Article(BACKUS-TURING-LECTURE
,Key = "Backus"
,Author = "Backus, John."
,Title = "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs."
,Journal = CACM ,Volume = "21" ,Number = "8"
,Month = Aug ,Year = "1978" ,Pages = "613-641"
,Note = "1977 ACM Turing Award Lecture")
@Comment{
Baker, Henry B., Jr.
→Shallow Binding in LISP 1.5_.
AI Working Paper 138. MIT AI Lab (January 1977).
⎇
@Article(SHALLOW-BINDING-IN-LISP-1-5
,Key = "Baker"
,Author = "Baker, Henry B., Jr."
,Title = "Shallow Binding in LISP 1.5."
,Journal = CACM ,Volume = "21" ,Number = "7"
,Month = Jul ,Year = "1978" ,Pages "565-569")
@Comment{
Baker, Henry B., Jr.
→List Processing in Real Time on a Serial Computer_.
AI Working Paper 139. MIT AI Lab (February 1977).
⎇
@Article(BAKER-GC
,Key = "Baker"
,Author = "Baker, Henry B., Jr."
,Title = "List Processing in Real Time on a Serial Computer."
,Journal = CACM ,Volume = "21" ,Number = "4"
,Month = Apr ,Year = "1978" ,Pages "280-294")
@Comment{
Barron, D.W., et al.
"The Main Features of CPL."
The Computer Journal, Vol. 6, 1963, p. 134.
⎇
@TechReport(LISPM-PROGRESS-REPORT
,Key = "Bawden"
,Author = "The LISP Machine Group: Bawden, Alan; Greenblatt, Richard; Holloway, Jack; Knight, Thomas; Moon, David; and Weinreb, Daniel"
,Title = "LISP Machine Progress Report"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "444" ,Month = Aug ,Year = "1977" ,Type = "AI Memo")
@Comment{
Belpaire, G., and Wilmotte, J-P.
→An Approach to Concepts and Tools for a Theory of Parallel Processes_.
Report 57. Institut de Mathematique Pure et Appliquee,
Universite Catholique de Louvain (Dec. 1972).
⎇
@Comment{
Berkeley, Edmund C., and Bobrow, Daniel G. (Eds.)
→The Programming Language LISP: Its Operation and Applications_.
Information International, Inc. (Cambridge, 1964).
⎇
@Comment{
Bishop, Peter B.
→Garbage Collection in a Very Large Address Space_.
AI Working Paper 111. MIT AI Lab (Cambridge, September 1975).
⎇
@Article(SPAGHETTI
,Key = "Bobrow"
,Author = "Bobrow, Daniel G. and Wegbreit, Ben."
,Title = "A Model and Stack Implementation of Multiple Environments."
,Journal = CACM ,Volume = "16" ,Number = "10"
,Month = Oct ,Year = "1973", Pages = "591-603")
@Comment{
Bobrow, Daniel G., and Winograd, Terry.
Response to Knowledge Representation Questionnaire.
ACM SIGART Newsletter 70 (kFebruary 1980), 85.
⎇
@Techreport[UCI-LISP,
Key=<Bobrow>,
Author=<Bobrow, Robert J.; Burton, Richard R.; and Lewis, Daryle>,
Title=<UCI-LISP Manual (An Extended Stanford LISP 1.6 System)>,
Institution=<University of California, Irvine>,
Year=<1972>,
Number=<21>,
Month=OCT,
Address=<Irvine, California>,
Type=<Information and Computer Science Technical Report>
]
@Article(BOEHM-JACOPINI
,Key = "Boehm"
,Author = "Boehm, Corrado, and Jacopini, Guiseppe."
,Title = "Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules."
,Journal = CACM ,Volume = "9" ,Number = "5"
,Month = May ,Year = "1966" ,Pages = "366-371")
@TechReport(THINGLAB
,Key = "Borning"
,Author = "Borning, Alan"
,Title = "THINGLAB: A Constraint-Oriented Simulation Laboratory"
,Number = "SSL-79-3"
,Institution = "Xerox Palo Alto Research Center"
,Address = "Palo Alto, California"
,Year = "1979" ,Month = JUL)
@TechReport(BROWN74
,Key = "Brown"
,Author = "Brown, Allen L., and Sussman, Gerald Jay"
,Title = "Localization of Failures in Radio Circuits: A Study in Causal and Teleological Reasoning"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "319" ,Month = Dec ,Year = "1974" ,Type = "AI Memo")
@Comment{
Brown, Richard Henry.
→Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs_.
Ph.D. Thesis, M.I.T. (Cambridge, June 1980).
⎇
@Inproceedings[INTERLISP-D-OVERVIEW,
Key=<Burton>,
Author=<Burton, Richard R.; Masinter, L.M.; Bobrow, Daniel G.;
Haugeland, Willie Sue; Kaplan, Ronald M.; Sheil, B.A.; and Bell, Alan.>,
Title=<Overview and Status of InterLISP-D (Dorado and Dolphin)>,
Booktitle=<Proceedings of the 1980 LISP Conference>,
Year=<1980>,
Month=AUG,
Address=<Stanford, California>
]
@Incollection[INTERLISP-D-OVERVIEW-XEROX,
Key=<Burton>,
Author=<Burton, Richard R.; Masinter, L.M.; Bobrow, Daniel G.;
Haugeland, Willie Sue; Kaplan, Ronald M.; Sheil, B.A.; and Bell, Alan.>,
Title=<InterLISP-D: Overview and Status>,
Booktitle=<Papers on InterLISP-D>,
Publisher=<Xerox Palo Alto Research Center>,
Year=<1980>,
Address=<Palo Alto, California>,
Pages=<1-10>,
Series=<Cognitive and Instructional Sciences Series>
]
@Comment{
Buxton, Gray, Park, and Strachey.
CPL Working Papers.
U. of London Institute of Computer Science (1966).
⎇
@Comment{
Byrn, W.H.
→Sequential Processes, Deadlocks, and Semaphore Primitives_.
Ph.D. thesis. Harvard U. (Cambridge, August 1974).
⎇
@Comment{
Campbell, R.H., and Habermann, A.N.
→The Specification of Process Synchronization by Path Expressions_.
Technical Report 55. Comp. Lab., U. Newcastle upon Tyne (January 1974).
⎇
@Article(CARTER-CODEGEN
,Key = "Carter"
,Author = "Carter, J. Lawrence."
,Title = "A Case Study of a New Code Generation Technique for Compilers."
,Journal = CACM ,Volume = "20" ,Number = "12"
,Month = Dec ,Year = "1977" ,Pages = "914-920")
@Comment{
Cerf, V.G.
→Multiprocessors, Semaphores, and a Graph Model of Computation_.
Ph.D. thesis. UCLA (April 1972).
⎇
@Book(CHURCH
,Key = "Church"
,Author = "Church, Alonzo"
,Title = "The Calculi of Lambda Conversion"
,Series = "Annals of Mathematics Studies"
,Volume = 6
,Publisher = "Princeton University Press"
,Address = "Princeton"
,Year = 1941
,Note = "Reprinted by Klaus Reprint Corp. (New York, 1965).")
@Article(CLARK-AND-GREEN
,Key = "Clark"
,Author = "Clark, Douglas W., and Green, C. Cordell"
,Title = "An Empirical Study of List Structure in LISP"
,Journal = CACM ,Volume = "20" ,Number = "2"
,Month = Feb ,Year = "1977" ,Pages = "78-87")
@Comment{
Clark, K.L., and McCabe, F.G.
→The Control Facilities of IC-PROLOG_.
Department of Computing and Control, Imperial College (London, undated, circa 1980?).
⎇
@book(CODY-AND-WAITE
,key = "Cody"
,author = "Cody, William J., Jr., and Waite, William"
,title = "Software Manual for the Elementary Functions"
,publisher = "Prentice-Hall"
,year = "1980"
,address = "Englewood Cliffs, New Jersey")
@Article(GC-SURVEY
,Key = "Cohen"
,Author = "Cohen, Jacques"
,Title = "Garbage Collection of Linked Data Structures"
,Journal = ACMCS ,Volume = "13" ,Number = "3"
,Month = SEP ,Year = "1981" ,Pages = "341-367")
@Comment{
Coleman, Samuel S.
→JANUS: A Universal Intermediate Language_.
Ph.D. thesis. University of Colorado (1974).
⎇
@Comment{
Conrad, William R.
→A compactifying garbage collector for ECL's non-homogeneous heap_.
Technical Report 2-74.
Center for Research in Computing Technology, Harvard U. (Cambridge, February 1974).
⎇
@Comment{
Conrad, William R.
→Internal Representations of ECL Data Types_.
Technical Report 5-75.
Center for Research in Computing Technology, Harvard U. (Cambridge, March 1975).
⎇
@InCollection(S1-ARCHITECTURE-79
,Key = "Correll"
,Author = "Correll, Steven"
,Title = "S-1 Uniprocessor Architecture (SMA-4)"
,Booktitle = "The S-1 Project 1979 Annual Report"
,Publisher = "Lawrence Livermore Laboratory"
,Year = 1979
,Address = "Livermore, California"
,Chapter = 4
,Volume = "I")
@Article(COURTOIS71
,Key = "Courtois"
,Author = "Courtois, P.J., Heymans, F., and Parnas, D.L."
,Title = "Concurrent Control with ``Readers'' and ``Writers''"
,Journal = CACM ,Volume = "14" ,Number = "10"
,Month = Oct ,Year = "1971" ,Pages = "667-668")
@Article(SIMPLIFIED-FIBONACCI-BUDDY
,Key = "Cranston"
,Author = "Cranston, Ben, and Thomas, Rick"
,Title = "A Simplified Recombination Scheme for the Fibonacci Buddy System"
,Journal = CACM ,Volume = "18" ,Number = "6"
,Month = Jun ,Year = "1975" ,Pages = "331-332")
@Article(BURSTALL-AND-DARLINGTON,
,Key = "Burstall"
,Author = "Burstall, R.M., and Darlington, John"
,Title = "A Transformation System for Developing Recursive Programs"
,Journal = JACM
,Year = 1977 ,Month = JAN ,Volume = 24 ,Number = 1 ,Pages = "44-67")
@Article(DARLINGTON-AND-BURSTALL
,Key = "Darlington"
,Author = "Darlington, J., and Burstall, R.M."
,Title = "A System which Automatically Improves Programs"
,Journal = "Acta Informatica"
,Volume = 6 ,Year = 1976 ,Pages = "41-60")
@TechReport(AMORD
,Key = "de Kleer"
,Author = "de Kleer, Johan; Doyle, Jon; Rich, Charles; Steele, Guy L. Jr.; and Sussman, Gerald Jay"
,Title = "AMORD: A Deductive Procedure System"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "435" ,Month = Jan ,Year = "1978" ,Type = "AI Memo")
@TechReport(CIRCUIT-SYNTHESIS
,Key = "de Kleer"
,Author = "de Kleer, Johan, and Sussman, Gerald Jay"
,Title = "Propagation of Constraints Applied to Circuit Synthesis"
,Institution = MITAI ,Address = CAMBRIDGE
,Note = "Also in @i[Circuit Theory and Applications] @b[8] (1980), 127-144."
,Number = "485" ,Month = Sep ,Year = "1978" ,Type = "AI Memo")
@Comment{
Demillo, R.A., Eisenstat, S.C., and Lipton, R.J.
"Can Structured Programs be Efficient?"
SIGPLAN Notices 11, 10 (October 1976), 10-18.
⎇
@Comment{
Dennis, J.B.
→First Version of a Data Flow Procedure Language_.
Computation Structures Group Memo 93. MIT Laboratory for Computer Science
(Cambridge, November 1973). Revised as MIT Project MAC TM-61 (May 1975).
⎇
@Comment{
Dennis, J.B., and Misunas, D.P.
→A Preliminary Architecture for a Basic Data-Flow Processor_.
Proc. Second Annual Symposium on Computer Architecture (January 1975), 126-132.
⎇
@Comment{
Deutsch, L. Peter.
→An Interactive Program Verifier_.
Ph.D. thesis. Dept. Comp. Sci., U. Calif. at Berkeley (June 1973).
⎇
@Article(TRANSACTION-GC
,Key = "Deutsch"
,Author = "Deutsch, L. Peter, and Bobrow, Daniel G"
,Title = "An Efficient, Incremental, Automatic Garbage Collector"
,Journal = CACM ,Volume = "19" ,Number = "9"
,Month = Sep ,Year = "1976" ,Pages = "522-526")
@Inproceedings[BYTELISP-73,
Key=<Deutsch>,
Author=<Deutsch, L. Peter>,
Title=<A LISP Machine with Very Compact Programs>,
Booktitle=<Proceedings of the Third International Joint Conference on
Artificial Intelligence>,
Year=<1973>,
Month=AUG,
Address=<Stanford, California>,
Pages=<697-703>
]
@Inproceedings[BYTELISP-80,
Key=<Deutsch>,
Author=<Deutsch, L. Peter>,
Title=<ByteLISP and its Alto Implementations>,
Booktitle=<Proceedings of the 1980 LISP Conference>,
Year=<1980>,
Month=AUG,
Address=<Stanford, California>
]
@Comment{
Digital Equipment Corporation.
→PDP-10 COBOL Language Programmer's Reference Manual_.
DEC-10-KC1A-D (Maynard, Mass., 1969).
⎇
@Manual(PDP-10-REFERENCE-MANUAL
,Key = "DEC"
,Organization = "Digital Equipment Corporation"
,Title = "DecSystem 10 Assembly Language Handbook (third edition)"
,Year = "1973"
,Address = "Maynard, Massachusetts")
@Manual(VAX-ARCHITECTURE-HANDBOOK
,Key = "DEC"
,Organization = "Digital Equipment Corporation"
,Title = "VAX Architecture Handbook"
,Year = "1981"
,Address = "Maynard, Massachusetts")
@Manual(PDP-11-HANDBOOK
,Key = "DEC"
,Organization = "Digital Equipment Corporation"
,Title = "PDP-11 Handbook"
,Year = "1969"
,Address = "Maynard, Massachusetts")
@Article(DIJKSTRA65
,Key = "Dijkstra"
,Author = "Dijkstra, Edsger W."
,Title = "Solution of a Problem in Concurrent Programming Control"
,Journal = CACM ,Volume = "8" ,Number = "9"
,Month = Sep ,Year = "1965" ,Pages = "569")
@Comment{
Dijkstra, Edsger W.
"Recursive Programming."
In Rosen, Saul (ed.), →Programming Systems and Languages_.
McGraw-Hill (New York, 1967).
⎇
@Article(GOTO-HARMFUL
,Key = "Dijkstra"
,Author = "Dijkstra, Edsger W."
,Title = "GOTO statement considered harmful"
,Journal = CACM ,Volume = "11" ,Number = "3"
,Month = Mar ,Year = "1968")
@Article(THE-MULTIPROGRAMMING-SYSTEM
,Key = "Dijkstra"
,Author = "Dijkstra, Edsger W."
,Title = "The structure of ``THE''-multiprogramming system"
,Journal = CACM ,Volume = "11" ,Number = "5"
,Month = May ,Year = "1968" ,Pages = "345")
@Comment{
Dijkstra, Edsger W.
"Cooperating Sequential Processes."
In Genuys, F. (ed.), →Programming Languages_,
Academic Press (New York, 1968), 43-112.
⎇
@Comment{
Dijkstra, Edsger W.
→A Discipline of Programming_.
Prentice-Hall (Englewood Cliffs, N.J., 1976).
⎇
@InProceedings(AMORD-EXPLICIT-CONTROL
,Key = "Doyle"
,Author = "Doyle, Jon; de Kleer, Johan; Sussman, Gerald Jay; and Steele, Guy L. Jr."
,Title = "AMORD: Explicit Control of Reasoning"
,BookTitle = "Proceedings of the Artificial Intelligence and Programming Languages Conference"
,Organization = "ACM SIGPLAN and SIGART"
,Year = "1977"
,Month = AUG
,Address = "Rochester, New York"
,Pages = "116-125"
,Note = "Proceedings published as @i[ACM SIGPLAN Notices] @b[12], 8 (August 1977)
and as @i[ACM SIGART Newsletter] @b[64] (August 1977).")
@MastersThesis(DOYLE-TMS-THESIS
,Key = "Doyle"
,Author = "Doyle, Jon"
,Title = "Truth Maintenance Systems for Problem Solving"
,School = MIT
,Address = CAMBRIDGE
,Year = "1977"
,Month = MAY
,Note = "This was published as @Cite(DOYLE-TMS).")
@TechReport(DOYLE-TMS
,Key = "Doyle"
,Author = "Doyle, Jon"
,Title = "Truth Maintenance Systems for Problem Solving"
,Institution = MIT
,Address = CAMBRIDGE
,Year = "1978"
,Month = JAN
,Number = "AI-TR-419"
,Note = "This is a revised version of the author's master's thesis @Cite(DOYLE-TMS-THESIS).")
@TechReport(TMS-GLIMPSE
,Key = "Doyle"
,Author = "Doyle, Jon"
,Title = "A Glimpse of Truth Maintenance"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "461a" ,Month = Nov ,Year = "1978" ,Type = "AI Memo")
@TechReport(DOYLE-TMS
,Key = "Doyle"
,Author = "Doyle, Jon"
,Title = "A Truth Maintenance System"
,Institution = MITAI ,Address = CAMBRIDGE
,Note = "Also in @i[Artificial Intelligence] @b[12] (1979), 231-272."
,Number = "521" ,Month = Jun ,Year = "1978" ,Type = "AI Memo")
@Comment{
Eder, Gottfried.
→A PROLOG-like Interpreter for Non-Horn Clauses_.
D.A.I. Research Report 26. Department of Artificial Intelligence,
University of Edinburgh (Edinburgh, September 1976).
⎇
@Comment{
Fahlman, Scott E.
→NETL: A System for Representing and Using Real-world Knowledge_.
Ph.D. Dissertation. MIT (Cambridge, September 1977).
MIT Press (Cambridge, 1979).
⎇
@Article(MACLISP-BEATS-FORTRAN
,Key = "Fateman"
,Author = "Fateman, Richard J."
,Title = "Reply to an Editorial"
,Journal = "ACM SIGSAM Bulletin"
,Volume = "25" ,Month = MAR ,Year = "1973"
,Pages = "9-11")
@Article(FENICHEL-YOCHELSON
,Key = "Fenichel"
,Author = "Fenichel, Robert R., and Yochelson, Jerome C."
,Title = "A LISP Garbage Collector for Virtual-Memory Computer Systems"
,Journal = CACM ,Volume = "12" ,Number = "11"
,Month = Nov ,Year = "1969" ,Pages = "611-612")
@Comment{
Fischer, Michael J.
"Lambda Calculus Schemata."
Proceedings of ACM Conference on Proving Assertions about Programs.
ACM SIGPLAN Notices (January 1972).
⎇
@Article(FLOYD-TURING-LECTURE
,Key = "Floyd"
,Author = "Floyd, Robert W."
,Title = "The Paradigms of Programming"
,Journal = CACM ,Volume = "22" ,Number = "8"
,Month = Aug ,Year = "1979" ,Pages = "455-460" ,Note = "1978 ACM Turing Award Lecture"
)
@Article(FORD-HANSCHE
,Key = "Ford"
,Author = "Ford, Gary, and Hansche, Brian"
,Title = "Optional, Repeatable, and Varying Type Parameters"
,Journal = SIGPLAN ,Volume = "17" ,Number = "2"
,Month = FEB ,Year = "1982" ,Pages "41-48")
@Comment{
Forte, Allen.
→SNOBOL3 Primer_.
The MIT Press (Cambridge, 1967).
⎇
@TechReport(FREUDER76
,Key = "Freuder"
,Author = "Freuder, Eugene C."
,Title = "Synthesizing Constraint Expressions"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "370" ,Month = Jul ,Year = "1976" ,Type = "AI Memo")
@Comment{
Friedman, Daniel P., and Wise, David S.
→CONS Should Not Evaluate Its Arguments_.
Technical Report 44. Indiana U. Computer Science Dept. (Bloomington, November 1975).
⎇
@TechReport(MDL
,Key = "Galley"
,Author = "Galley, S.W. and Pfister, Greg."
,Title = "The MDL Language"
,Type = "Programming Technology Division Document"
,Number = "SYS.11.01"
,Institution = "MIT Project MAC"
,Address = CAMBRIDGE
,Month = NOV ,Year = "1975")
@PhDThesis(GESCHKE
,Key = "Geschke"
,Author = "Geschke, Charles M."
,Title = "Global Program Optimizations"
,School = CMU ,Year = 1972 ,Month = OCT
,Address = "Pittsburgh")
@TechReport(SMALLTALK-72
,Key = "Goldberg"
,Author = "Goldberg, Adele, and Kay, Alan"
,Title = "Smalltalk-72 Instruction Manual"
,Institution = "Learning Research Group, Xerox Palo Alto Research Center"
,Address = "Palo Alto, California"
,Year = "1976" ,Month = MAR)
@Comment{
Goto, Eiichi.
→Monocopy and Associative Algorithms in an Extended LISP_.
Information Science Laboratory, University of Tokyo (May 1974).
⎇
@Inproceedings[MULTICS-EMACS,
Key=<Greenberg>,
Author=<Greenberg, Bernard S.>,
Title=<Prose and CONS (Multics EMACS: A Commercial Text Processing
System in LISP)>,
Booktitle=<Proceedings of the 1980 LISP Conference>,
Year=<1980>,
Month=AUG,
Address=<Stanford, California>
]
@TechReport(LISPM-WORKING-PAPER
,Key = "Greenblatt"
,Author = "Greenblatt, Richard"
,Title = "The LISP Machine"
,Institution = MITAI ,Address = CAMBRIDGE
,Year = 1974 ,Month = NOV ,Number = 79
,Type = "Working Paper")
@Comment{
Greif, Irene and Hewitt, Carl.
→Actor Semantics of Planner-73_.
Working Paper 81. MIT AI Lab (Cambridge, 1975).
⎇
@Comment{
Greif, Irene.
→Semantics of Communicating Parallel Processes_.
Ph.D. thesis. MAC-TR-154, Project MAC, MIT (Cambridge, September 1975).
⎇
@Comment{
Gries, David.
→Compiler Construction for Digital Computers_.
John Wiley & Sons (New York, 1971).
⎇
@Article(PARALLEL-GC-PROOF
,Key = "Gries"
,Author = "Gries, David"
,Title = "An Exercise in Proving Parallel Programs Correct"
,Journal = CACM ,Volume = "20" ,Number = "12"
,Month = Dec ,Year = "1977" ,Pages = "921-930")
@Comment{
Griffiths, Patricia.
→SYNVER: A System for the Automatic Synthesis and Verification of Synchronization Processes_.
Ph.D. thesis. Harvard U. (Cambridge, June 1975).
⎇
@Comment{
Griffiths, Patricia.
→SAL: A Very High Level Specification Language_.
Proc. International Symp. on Proving and Improving Programs (July 1975).
⎇
@Comment{
Griffiths, Patricia, and Prenner, Charles J.
"Verifying Formal Specifications of Synchronous Processes."
Proc. Third Annual Conf. on Principles of Prog. Languages (January 1976).
⎇
@Comment{
Griss, Martin L.
"The Definition and Use of Data Structures in REDUCE."
Proc. ACM Symposium on Symbolic and Algebraic Computation (August 1976).
⎇
@Comment{
Grossman, Richard W.
→Some Data Base Applications of Constraint Expressions_.
S.M. Thesis. MIT (Cambridge, January 1976).
TR-158. MIT Laboratory for Computer Science (Cambridge, February 1976).
⎇
@Article(GULL79
,Key = "Gull"
,Author = "Gull, W.E., and Jenkins, M.A"
,Title = "Recursive Data Structures in APL"
,Journal = CACM ,Volume = "22" ,Number = "2"
,Month = Feb ,Year = "1979" ,Pages = "79-96")
@Comment{
Habermann, A.N.
→On a Solution and a Generalization of the Cigarette Smokers Problem_.
Dept. Comp. Sci., Carnegie-Mellon U. (August 1972).
⎇
@Article(HABERMANN72
,Key = "Habermann"
,Author = "Habermann, A.N."
,Title = "Synchronization of Communicating Processes"
,Journal = CACM ,Volume = "15" ,Number = "3"
,Month = Mar ,Year = "1972" ,Pages = "171-176")
@Techreport[S1-ARCHITECTURE-STANFORD,
Key=<Hailpern>,
Author=<Hailpern, Brent T., and Hitson, Bruce L.>,
Title=<S-1 Architecture Manual>,
Institution=<Department of Electrical Engineering, Stanford University>,
Year=<1979>,
Number=<161 (STAN-CS-79-715)>,
Month=JAN,
Address=<Stanford, California>
]
@Article(HANSEN69
,Key = "Hansen"
,Author = "Hansen, Wilfred J."
,Title = "Compact List Representation: Definition, Garbage Collection, and System Implementation"
,Journal = CACM ,Volume = "12" ,Number = "9"
,Month = Sep ,Year = "1969" ,Pages = "499-507")
@TechReport(KLH-TIME-SERVER,
,Key = "Harrenstien"
,Author = "Harrenstien, Kenneth L."
,Title = "Time Server"
,Institution = "ARPANET Network Working Group"
,Year = 1977
,Month = OCT
,Number = "738 (NIC 42218)"
,Type = "Request for Comments (RFC)"
,Note = "Available from the ARPANET Network Information Center.")
@InProceedings(HARRISON-CODEGEN
,Key = "Harrison"
,Author = "Harrison, William"
,Title = "A New Strategy for Code Generation: The General Purpose Optimizing Compiler"
,Booktitle = "Proceedings of the Fourth Symposium on Principles of Programming Languages"
,Organization = "Association for Computing Machinery"
,Year = 1977
,Month = JAN
,Address = "Los Angeles"
,Pages = "29-37")
@Comment{
Hart, Timothy P., and Evans, Thomas G.
"Notes on implementing LISP for the M-460 computer."
In Berkeley and Bobrow, →The Programming Language LISP_, 191-203.
⎇
@Comment{
Hauck, E.A., and Dent, B.A.
"Burroughs' B6500/B7500 Stack Mechanism."
Proc. AFIPS Spring Joint Computer Conference Vol. 32.
AFIPS Press (Montvale, New Jersey, 1968), 245-251.
⎇
@Comment{
Henderson, Peter, and Morris, James H. Jr.
"A Lazy Evaluator."
SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1976).
⎇
@Comment{
Hewitt, Carl.
"Planner."
In →Project MAC Progress Report X (July 72-July 73)_.
MIT Project MAC (Cambridge, 1973), 199-230.
⎇
@Comment{
Hewitt, Carl, et al.
"Behavioral Semantics of Non-recursive Control Structures."
Proc. →Colloque sur la Programmation_. Lecture Notes in Computer Science No. 19.
Springer-Verlag (1974).
⎇
@Article(VIEWING-CONTROL-STRUCTURES
,Key = "Hewitt"
,Author = "Hewitt, Carl"
,Title = "Viewing Control Structures as Patterns of Passing Messages"
,Journal = "Artificial Intelligence"
,Volume = 8 ,Number = 3 ,Year = 1977 ,Month = JUN, pages = "323-364"
,Note = "A comment on this paper appeared as @Cite(COMMENTS-ON-VIEWING-CONTROL-STRUCTURES).")
@Article(COMMENTS-ON-VIEWING-CONTROL-STRUCTURES
,Key = "Hewitt"
,Author = "Hewitt, Carl"
,Title = "Comments on `Viewing Control Structures as Patterns of Passing Messages'"
,Journal = "Artificial Intelligence"
,Volume = 10 ,Number = 3 ,Year = 1978 ,Month = NOV, pages = "317-318"
,Note = "This is a comment on @Cite(VIEWING-CONTROL-STRUCTURES).")
@Comment{
Hewitt, Carl, and Smith, Brian.
"Towards a Programming Apprentice."
IEEE Transactions on Software Engineering SE-1, 1 (March 1975), 26-45.
⎇
@Comment{
Hilfinger, Paul N.
Letter to the Editor.
SIGPLAN Notices 11, 12 (December 1976), 9.
⎇
@Article(HINDS75
,Key = "Hinds"
,Author = "Hinds, James A."
,Title = "An Algorithm for Locating Adjacent Storage Blocks in the Buddy System"
,Journal = CACM ,Volume = "18" ,Number = "4"
,Month = Apr ,Year = "1975" ,Pages = "221-222")
@Article(HIRSHBERG73
,Key = "Hirshberg"
,Author = "Hirshberg, Daniel S."
,Title = "A Class of Dynamic Memory Allocation Algorithms"
,Journal = CACM ,Volume = "16" ,Number = "10"
,Month = Oct ,Year = "1973" ,Pages = "615-618")
@Article(MONITORS
,Key = "Hoare"
,Author = "Hoare, C.A.R."
,Title = "Monitors: an Operating System Structuring Concept"
,Journal = CACM ,Volume = "17" ,Number = "10"
,Month = Oct ,Year = "1974" ,Pages = "549-557")
@TechReport(ITS-PAGING-BOX
,Key = "Holloway"
,Author = "Holloway, J"
,Title = "PDP-10 Paging Device"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "2" ,Month = Feb ,Year = "1970" ,Type = "Hardware Memo")
@TechReport(SCHEME-79
,Key = "Holloway"
,Author = "Holloway, Jack; Steele, Guy Lewis Jr.; Sussman, Gerald Jay; and Bell, Alan"
,Title = "The SCHEME-79 Chip"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "559" ,Month = Jan ,Year = "1980" ,Type = "AI Memo")
@Comment{
Holt, A.W., et al.
→Final Report for the Information System Theory Project_.
Applied Data Research Inc. (New York, 1968).
⎇
@Comment{
Hon, Robert, and Sequin, Carlo.
→A Guide to LSI Implementation_.
Xerox PARC (Palo Alto, September 1978).
⎇
@Comment{
Hopper, Captain Grace Murray.
In "An Interview with Captain Grace Murray Hopper, USNR".
Computing (October 10, 1973).
Reprinted in SIGPLAN Notices 9, 1 (January 1974), 3-6.
⎇
@Article[SMALLTALK-DESIGN-PRINCIPLES,
Key=<Ingalls>,
Author=<Ingalls, Daniel H.H.>,
Title=<Design Principles Behind SMALLTALK>,
Journal=<Byte>,
Month=AUG,
Year=<1981>,
Volume=<6>,
Number=<8>,
Pages=<286-298>
]
@Article(THUNKS
,Key = "Ingerman"
,Author = "Ingerman, P.Z."
,Title = "Thunks: A Way of Compiling Procedure Statements with Some Comments on Procedure Declarations"
,Journal = CACM ,Volume = "4" ,Number = "1"
,Month = Jan ,Year = "1961" ,Pages = "55-58")
@Comment{
International Business Machines.
→IBM System/360 Operating System American National Standard COBOL_.
Form GC28-6396-2. Third edition (June 1970).
⎇
@Comment{
International Business Machines.
→IBM System/360 Operating System PL/I (F) Language Reference Manual_.
Form GC28-8201-3. Revised (November 1970).
⎇
@Comment{
International Business Machines.
→IBM System/360 Operating System COBOL Language_.
Form C28-6516-8. Ninth Edition (November 1968).
⎇
@Manual(ADA
,Key = "Ada"
,Title = "Reference Manual for the ADA Programming Language Proposed Standard Document"
,Year = 1980
,Organization = "United States Department of Defense")
@Article(PRELIMINARY-ADA
,Key = "Ada"
,Author = "United States Department of Defense"
,Journal = SIGPLAN
,Title = "Preliminary ADA Reference Manual"
,Year = 1979 ,Month = JUN ,Number = "6A" ,Volume = 14)
@Article(ISODA71
,Key = "Isoda"
,Author = "Isoda, Sadahiro, Goto, Eiichi, and Kimura, Izumi"
,Title = "An Efficient Bit Table Technique for Dynamic Storage Allocation of 2@+[n]-word blocks"
,Journal = CACM ,Volume = "14" ,Number = "9"
,Month = Sep ,Year = "1971" ,Pages = "589-592")
@Comment{
Jenks, Richard D., and Griesmer, James H.
"Editor's Comment."
SIGSAM Bulletin No. 24 (October 1972), 2-3.
⎇
@Comment{
Johannsen, David L.
"Our Machine: A Microcoded LSI Processor."
Proceedings of MICRO-11 11th Annual Microprogramming Workshop (November 1978).
SIGMICRO Newsletter 9, 4 (December 1978), 1-7.
⎇
@Comment{
Johannsen, David L.
"A Design Technique for VLSI Chips."
Proc. Caltech Conference on Very Large Scale Integration (Pasadena, January 1979).
⎇
@PhDThesis(JOHNSSON-PHD
,Key = "Johnsson"
,Author = "Johnsson, Richard Karl"
,Title = "An Approach to Global Register Allocation"
,School = CMU ,Address = "Pittsburgh" ,Year = 1975 ,Month = DEC)
@Incollection[INTERLISP-D-I-O,
Key=<Kaplan>,
Author=<Kaplan, Ronald M.; Sheil, B.A,; and Burton, Richard R.>,
Title=<The InterLISP-D I/O System>,
Booktitle=<Papers on InterLISP-D>,
Publisher=<Xerox Palo Alto Research Center>,
Year=<1980>,
Address=<Palo Alto, California>,
Pages=<25-32>,
Series=<Cognitive and Instructional Sciences Series>
]
@Comment{
Kleene, Stephen Cole.
→Introduction to Metamathematics_.
Von Nostrand (Princeton, 1950).
⎇
@TechReport(CONS-WORKING-PAPER
,Key = "Knight"
,Author = "Knight, Tom"
,Title = "The CONS Microprocessor"
,Institution = MITAI ,Address = CAMBRIDGE
,Year = 1974 ,Month = NOV ,Number = 80
,Type = "Working Paper")
@book(KNUTH-VOLUME-1
,key = "Knuth"
,author = "Knuth, Donald E."
,series = "The Art of Computer Programming"
,title = "Fundamental Algorithms"
,volume = "1"
,publisher = "Addison-Wesley"
,year = "1968"
,address = "Reading, Massachusetts")
@book(KNUTH-VOLUME-2
,key = "Knuth"
,author = "Knuth, Donald E."
,series = "The Art of Computer Programming"
,title = "Seminumerical Algorithms"
,volume = "2"
,publisher = "Addison-Wesley"
,year = "1969"
,address = "Reading, Massachusetts")
@book(KNUTH-VOLUME-2A
,key = "Knuth"
,author = "Knuth, Donald E."
,series = "The Art of Computer Programming"
,title = "Seminumerical Algorithms (Second Edition)"
,volume = "2"
,publisher = "Addison-Wesley"
,year = "1981"
,address = "Reading, Massachusetts")
@book(KNUTH-VOLUME-3
,key = "Knuth"
,author = "Knuth, Donald E."
,series = "The Art of Computer Programming"
,title = "Sorting and Searching"
,volume = "3"
,publisher = "Addison-Wesley"
,year = "1973"
,address = "Reading, Massachusetts")
@Article(KNUTH66
,Key = "Knuth"
,Author = "Knuth, Donald E."
,Title = "Additional Comments on a Problem in Concurrent Programming Control"
,Journal = CACM ,Volume = "9" ,Number = "5"
,Month = May ,Year = "1966" ,Pages = "321-322")
@Comment{
Knuth, Donald E.
"Structured Programming with GO TO statements."
Computing Surveys 6, 4 (December 1974).
⎇
@Article(KOWALSKI79
,Key = "Kowalski"
,Author = "Kowalski, Robert"
,Title = "Algorithm = Logic + Control"
,Journal = CACM ,Volume = "22" ,Number = "7"
,Month = Jul ,Year = "1979" ,Pages = "424-436")
@Comment{
Kowalski, Robert.
"Predicate Logic as Programming Language."
Information Processing 74. North-Holland (1974).
⎇
@Comment{
Kowalski, Robert.
Response to Knowledge Representation Questionnaire.
ACM SIGART Newsletter 70 (February 1980), 44.
⎇
@Article(LAMPORT74
,Key = "Lamport"
,Author = "Lamport, Leslie"
,Title = "A New Solution of Dijkstra's Concurrent Programming Problem"
,Journal = CACM ,Volume = "17" ,Number = "8"
,Month = Aug ,Year = "1974" ,Pages = "453-455")
@Article(LANDIN65
,Key = "Landin"
,Author = "Landin, Peter J."
,Title = "A Correspondence between ALGOL 60 and Church's Lambda-Notation"
,Journal = CACM ,Volume = "8" ,Number = "2-3"
,Month = "@Value(Feb) and @Value(Mar)" ,Year = "1965")
@TechReport(PQCC-OVERVIEW
,Key = "Leverett"
,Author = "Leverett, Bruce W.; Cattell, Roderic G. G.; Hobbs, Steven O.; Newcomer, Joseph M.; Reiner, Andrew H.; Schatz, Bruce R.; and Wulf, William A."
,Title = "An Overview of the Production Quality Compiler-Compiler Project"
,Year = 1979 ,Month = FEB
,Institution = CMUCSD ,Address = "Pittsburgh"
,Number = "CMU-CSD-79-105")
@Comment{
Levin, Michael.
→Mathematical Logic for Computer Scientists_.
MIT Project MAC TR-131 (Cambridge, June 1974).
⎇
@Article(SUPERCOMPUTERS
,Key = "Levine"
,Author = "Levine, Ronald D."
,Title = "Supercomputers"
,Journal = "Scientific American"
,Year = "1982" ,Month = JAN
,Volume = "246" ,Number = "1" ,Pages = "118-135")
@Comment{
Levitt, Karl N.
"The Application of Program-proving Techniques to the Verification of Synchronization Processes."
Proc. AFIPS 1972 FJCC. AFIPS Press (Montvale, N.J., 1972), 33-47.
⎇
@Comment{
Lipton, R.J., Eisenstat, S.C., and DeMillo, R.A.
"Space and Time Heirarchies for Classes of Control Structures and Data Structures."
Journal ACM 23, 4 (October 1976), 720-732.
⎇
@Comment{
Liskov, Barbara, and Zilles, Stephen.
"Programming with Abstract Data Types."
Proc. Symp. on Very High Level Languages. SIGPLAN Notices, April 1974.
⎇
@Comment{
Liskov, Barbara, et al.
CLU Design Notes.
MIT Lab. for Computer Science (Cambridge, 1973-1976).
⎇
@Article(STANDARD-LISP-REPORT
,Key = "Marti"
,Author = "Marti, J.; Hearn, A.C.; Griss, M.L.; and Griss, C."
,Title = "Standard LISP Report"
,Journal = SIGPLAN
,Month = OCT
,Year = 1979
,Volume = 14
,Number = 10
,Pages = "48-68")
@Techreport[PSL-MANUAL,
Key=<PSL>,
Author=<The Utah Symbolic Computation Group>,
Title=<The Portable Standard LISP Users Manual>,
Institution=<Department of Computer Science, University of Utah>,
Year=<1982>,
Number=<TR-10>,
Month=<JAN>,
Address=<Salt Lake City>]
@Article(MATULA68
,Key = "Matula"
,Author = "Matula, David W."
,Title = "In-and-Out Conversions"
,Journal = CACM ,Volume = "11" ,Number = "1"
,Month = Jan ,Year = "1968" ,Pages = "47-50")
@TechReport(
,Key = "McAllester"
,Author = "McAllester, David A."
,Title = "A Three Valued Truth Maintenance System"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "473" ,Month = May ,Year = "1978" ,Type = "AI Memo")
@Comment{
McAllester, David A.
→The Use of Equality in Deduction and Knowledge Representation_.
S.M. Thesis, MIT. AI-TR-550. MIT AI Lab (Cambridge, January 1980).
⎇
@Article(MCBETH63
,Key = "McBeth"
,Author = "McBeth, J. Harold"
,Title = "On the reference counter method"
,Journal = CACM ,Volume = "6" ,Number = "9"
,Month = Sep ,Year = "1963" ,Pages = "575" ,Note = "Letter to the editor"
)
@TechReport(LISP-1-MANUAL
,Key = "McCarthy"
,Author = "McCarthy, J.; Brayton, R.; Edwards, D.; Fox, P.; Hodes, L.; Luckham, D.; Maling, K.; Park, D.; and Russell, S."
,Title = "LISP 1 Programmer's Manual"
,Institution = "Artifical Intelligence Group, Computation Center
and Research Laboratory of Electronics, MIT"
,Address = CAMBRIDGE
,Month = MAR ,Year = "1960")
@Article(MCCARTHY60
,Key = "McCarthy"
,Author = "McCarthy, John"
,Title = "Recursive functions of symbolic expressions and their computation by machine - I"
,Journal = CACM ,Volume = "3" ,Number = "4"
,Month = Apr ,Year = "1960" ,Pages = "184-195")
@Book(LISP-1-5
,Key = "McCarthy"
,Author = "McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.;
Hart, Timothy P.; and Levin, Michael I."
,Title = "LISP 1.5 Programmer's Manual"
,Publisher = "MIT Press"
,Address = CAMBRIDGE
,Year = "1962")
@Inproceedings[HISTORY-OF-LISP-PREPRINT,
Key=<McCarthy>,
Author=<McCarthy, John>,
Title=<History of LISP>,
Organization=<ACM SIGPLAN>,
Booktitle=<Preprints of the ACM SIGPLAN History of Programming
Languages Conference>,
Year=<1978>,
Month=AUG,
Address=<Los Angeles>,
Editor=<Wexelblat, Richard L.>,
Pages=<215-224>,
Note = "Proceedings published as @i[ACM SIGPLAN Notices] @b[13], 8 (August 1978)."
]
@Inbook[HISTORY-OF-LISP,
Key=<McCarthy>,
Author=<McCarthy, John>,
Title=<History of LISP>,
Booktitle=<History of Programming Languages>,
Publisher=<Academic Press>,
Year=<1981>,
Editor=<Wexelblat, Richard L.>,
Address=<New York>,
Chapter=<IV>,
Pages=<173-197>,
Series=<ACM Monograph Series>
]
@TechReport(CONNIVER
,Key = "McDermott"
,Author = "McDermott, Drew V., and Sussman, Gerald Jay"
,Title = "The CONNIVER Reference Manual"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "295a" ,Month = Jan ,Year = "1974" ,Type = "AI Memo")
@TechReport(NON-MONOTONIC-LOGIC-I
,Key = "McDermott"
,Author = "McDermott, Drew V., and Doyle, Jon"
,Title = "Non-Monotonic Logic - I"
,Institution = MITAI ,Address = CAMBRIDGE
,Note = "Revised July 1979. Also in @i[Artificial Intelligence] @b[13] (1980), 41-72."
,Number = "468b" ,Month = Aug ,Year = "1978" ,Type = "AI Memo")
@Comment{
McDermott, Drew.
"The PROLOG Phenomenon."
ACM SIGART Newsletter 72 (July 1980), 16-20.
⎇
@Article(MCKEEMAN65
,Key = "McKeeman"
,Author = "McKeeman, W.M."
,Title = "Peephole optimization"
,Journal = CACM ,Volume = "8" ,Number = "7"
,Month = Jul ,Year = "1965" ,Pages = "443-444")
@Comment{
Mead, Carver, and Conway, Lynn.
→Introduction to VLSI Systems_.
Addison-Wesley (Reading, Massachusetts, 1980).
⎇
@Comment{
Minsky, M. L.
→A LISP garbage collector using serial secondary storage_.
Artificial Intelligence Memo No. 58 (revised), MIT (Cambridge, December 1963).
⎇
@Comment{
Minsky, Marvin L.
→Computation: Finite and Infinite Machines_.
Prentice-Hall, Inc. (Englewood Cliffs, New Jersey, 1967).
⎇
@Comment{
Moon, David A.
→MacLISP Reference Manual, Revision 0_.
Project MAC, MIT (Cambridge, April 1974).
⎇
@TechReport(INTERLISP-VM,
,Key = "Moore"
,Author = "Moore, J. Strother II"
,Title = "The InterLISP Virtual Machine Specification"
,Institution = "Xerox Palo Alto Research Center"
,Address = "Palo Alto, California"
,Year = 1976 ,Month = SEP ,Number = "CSL 76-5"
,Annote = "The @Interlisp Virtual Machine is the environment
in which the @interlisp system is implemented.
In order to implement the @interlisp System on some
physical machine, it is only necessary to implement
the @interlisp Virtual Machine, since Virtual Machine
compatible source code for the rest of the @interlisp
system is available. This document specifies the
behavior of the @interlisp Virtual Machine from the
implementor's point of view.")
@Article(MORRIS-GC-COMPACTION
,Key = "Morris"
,Author = "Morris, F. Lockwood"
,Title = "A Time- and Space-Efficient Garbage Compaction Algorithm"
,Journal = CACM ,Volume = "21" ,Number = "8"
,Month = Aug ,Year = "1978" ,Pages = "662-665")
@TechReport(FUNCTION-OF-FUNCTION
,Key = "Moses"
,Author = "Moses, Joel"
,Title = "The Function of FUNCTION in LISP"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "199" ,Month = Jun ,Year = "1970" ,Type = "AI Memo")
@Article(ALGOL-REVISED-REPORT
,Key = "Naur"
,Author = "Naur, Peter (ed.), et al."
,Title = "Revised Report on the Algorithmic Language ALGOL 60"
,Journal = CACM ,Volume = "6" ,Number = "1"
,Month = Jan ,Year = "1963" ,Pages = "1-20")
@Comment{
Neighbors, Michael A.
"Assuring Software Reliability."
Computer Decisions 8, 12 (December 1976), 44-46.
⎇
@Comment{
Newell, Allen.
→Information Processing Language V Manual_.
Prentice-Hall (Englewood Cliffs, N. J., 1961).
⎇
@Book(MULTICS-BOOK
,Key = "Organick"
,Author = "Organick, Elliot I."
,Title = "The Multics System: An Examination of Its Structure"
,Publisher = "MIT Press"
,Address = CAMBRIDGE
,Year = "1972")
@Comment{
Owicki, Susan Speer.
→Axiomatic Proof Techniques for Parallel Programs_.
Ph.D. Thesis. TR 75-251. Department of Computer Science, Cornell University
(Ithaca, New York, July 1975).
⎇
@Article(PARNAS75
,Key = "Parnas"
,Author = "Parnas, D.L."
,Title = "On a Solution to the Cigarette Smokers Problem (without Conditional Statements)"
,Journal = CACM ,Volume = "18" ,Number = "3"
,Month = Mar ,Year = "1975" ,Pages = "181-183")
@Comment{
Patil, S.
→Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes_.
CSG Memo 57, Project MAC, MIT (February 1971).
⎇
@Comment{
Pratt, Vaughan R.
→CGOL: an Alternative External Representation for LISP Users_.
Working Paper 121. MIT AI Lab (Cambridge, March 1976).
⎇
@Comment{
Prenner, Charles J.
→Multi-path Control Structures for Programming Languages_.
Ph.D. thesis. Harvard U. (Cambridge, May 1972).
⎇
@Comment{
Presser, Leon.
"Structured Languages."
Proc. National Computer Conference 1975.
Reprinted in SIGPLAN Notices 10, 7 (July 1975), 22-24.
⎇
@Techreport[LISP-1-6,
Key=<Quam>,
Author=<Quam, Lynn H., and Diffie, Whitfield>,
Title=<Stanford LISP 1.6 Manual>,
Institution=<Stanford Artificial Intelligence Laboratory>,
Year=<undated>,
Number=<28.6>,
Type=<SAIL Operating Note>,
Address=<Stanford, California>
]
@Comment{
Quillian, M. Ross.
"Semantic Memory."
In Minsky, Marvin (ed.), →Semantic Information Processing_.
MIT Press (Cambridge, 1968).
⎇
@Unpublished(REES-PRIVATE
,Key = "Rees"
,Author = "Rees, Jonathan"
,Title = "Private communication"
,Year = "1981")
@Comment{
Reynolds, John C.
"Definitional Interpreters for Higher Order Programming Languages."
Proc. ACM National Conference (Boston, 1972), 717-740.
⎇
@TechReport(ADDITIVE-RANDOMS
,Key = "Reiser"
,Author = "Reiser, John F."
,Title = "Analysis of Additive Random Number Generators"
,Institution = "Stanford University Computer Science Department"
,Year = "1977"
,Month = MAR
,Number = "STAN-CS-77-601")
@Comment{
Richards, Martin, Evans, Arthur Jr., and Mabee, Robert F.
→The BCPL Reference Manual_.
TR-141, Project MAC, MIT (Cambridge, December 1974).
⎇
@Comment{
Richards, Martin.
"BCPL: A Tool for Compiler Writing and Systems Programming."
Proc. AFIPS 1969 SJCC, Vol. 34. AFIPS Press (Montvale, N.J.) pp. 557-566.
⎇
@Article(ROCHFELD71
,Key = "Rochfeld"
,Author = "Rochfeld, Arnold"
,Title = "New LISP Techniques for a Paging Environment"
,Journal = CACM ,Volume = "14" ,Number = "12"
,Month = Dec ,Year = "1971" ,Pages = "791-795")
@book(SAMMET-PL-HISTORY
,key = "Sammet"
,author = "Sammet, Jean E."
,title = "Programming Languages: History and Fundamentals"
,publisher = "Prentice-Hall"
,year = "1969"
,address = "Englewood Cliffs, New Jersey"
)
@Comment{
Rosen, Saul (ed.).
→Programming Systems and Languages_.
McGraw-Hill (New York, 1967).
⎇
@Comment{
Rulifson, J.F., Derksen, J.A., and Waldinger, R.J.
→QA4: A Procedural Calculus for Intuitive Reasoning_.
Technical Note 73. Artificial Intelligence Center, Stanford Research Institute
(Menlo Park, California, November 1972).
⎇
@Comment{
Sammet, Jean E.
→Programming Languages: History and Fundamentals_.
Prentice-Hall (Englewood Cliffs, N.J., 1969).
⎇
@Comment{
Saunders, Robert A.
"The LISP system for the Q-32 computer."
In Berkeley and Bobrow, →The Programming Language LISP_, 220-231.
⎇
@TechReport(SCHATZ-TRANSFORMS
,Key = "Schatz"
,Author = "Schatz, Bruce R."
,Title = "Algorithms for Optimizing Transformations in a General Purpose Compiler: Propagation and Renaming"
,Institution = "IBM Thomas J. Watson Research Center"
,Address = "Yorktown Heights, New York"
,Year = "1976" ,Month = OCT ,Number = "RC 6232 (#26773)")
@Article(SCHEIFLER77
,Key = "Scheifler"
,Author = "Scheifler, Robert W."
,Title = "An Analysis of Inline Substitution for a Structured Programming Language"
,Journal = CACM ,Volume = "20" ,Number = "9"
,Month = Sep ,Year = "1977" ,Pages = "647-654")
@Article(SCHORR-WAITE-GC
,Key = "Schorr"
,Author = "Schorr, H., and Waite, W. M."
,Title = "An efficient machine-independent procedure for garbage collection in various list structures"
,Journal = CACM ,Volume = "10" ,Number = "8"
,Month = Aug ,Year = "1967" ,Pages = "501-506")
@Article(MULTICS-RINGS
,Key = "Schroeder"
,Author = "Schroeder, Michael D., and Saltzer, Jerome H."
,Title = "A Hardware Architecture for Implementing Protection Rings"
,Journal = CACM ,Volume = "15" ,Number = "3"
,Month = MAR ,Year = "1972" ,Pages = "157-170")
@Article(SHEN74
,Key = "Shen"
,Author = "Shen, Kenneth K., and Peterson, James L."
,Title = "A Weighted Buddy Method for Dynamic Storage Allocation"
,Journal = CACM ,Volume = "17" ,Number = "10"
,Month = Oct ,Year = "1974" ,Pages = "558-562" ,Note = "Corrigendum in @Cite(SHEN74FIX)."
)
@Article(SHEN74FIX
,Key = "Shen"
,Author = "Shen, Kenneth K., and Peterson, James L."
,Title = "Corrigendum: A Weighted Buddy Method for Dynamic Storage Allocation"
,Journal = CACM ,Volume = "18" ,Number = "4"
,Month = Apr ,Year = "1975" ,Pages = "202")
@Article(SHORE75
,Key = "Shore"
,Author = "Shore, John E."
,Title = "On the External Storage Fragmentation Produced by First-Fit and Best-Fit Allocation Strategies"
,Journal = CACM ,Volume = "18" ,Number = "8"
,Month = Aug ,Year = "1975" ,Pages = "433-440")
@Comment{
Shrobe, Howard Elliot.
→Dependency Directed Reasoning for Complex Program Understanding_.
Ph.D. Thesis, MIT. AI-TR-503. MIT AI Lab (April 1979).
⎇
@Comment{
Shrobe, Howard.
"Constraint Propagation in VLSI Design: DAEDALUS and Beyond."
Abstracts from Spring 1980 MIT VLSI Research Review. (Cambridge, May 1980).
⎇
@Comment{
Smith, Brian C. and Hewitt, Carl.
→A PLASMA Primer_ (draft).
MIT AI Lab (Cambridge, October 1975).
⎇
@Comment{
Snyder, Alan.
→A Portable Compiler for the Language C_.
MAC TR-149. Project MAC, MIT (Cambridge, May 1975).
⎇
@TechReport(STALLMAN76
,Key = "Stallman"
,Author = "Stallman, Richard M., and Sussman, Gerald Jay"
,Title = "Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis"
,Institution = MITAI ,Address = CAMBRIDGE
,Note = "Also in @i[Artificial Intelligence] @b[9] (1977), 135-196."
,Number = "380" ,Month = Sep ,Year = "1976" ,Type = "AI Memo")
@TechReport(ITS-EMACS
,Key = "Stallman"
,Author = "Stallman, Richard M"
,Title = "EMACS Manual for ITS Users"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "554" ,Month = Jun ,Year = "1980" ,Type = "AI Memo")
@Inproceedings[EMACS,
Key=<Stallman>,
Author=<Stallman, Richard M.>,
Title=<EMACS: The Extensible, Customizable, Self-Documenting Display Editor>,
Organization=<ACM SIGPLAN/SIGOA>,
Booktitle=<Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation>,
Year=<1981>,
Month=JUN,
Address=<Portland, Oregon>,
Pages=<147-156>,
Note = "Proceedings published as @i[ACM SIGPLAN Notices] @b[16], 6
(June 1981)."
]
@TechReport(PROGRAM-TRANSFORMATION-CATALOGUE
,Key = "Standish"
,Author = "Standish, T.A.; Harriman, D.C.; Kibler, D.F.; and Neighbors, J.M."
,Title = "The Irvine Program Transformation Catalogue"
,Institution = "University of California"
,Address = "Irvine, California"
,Month = JAN
,Year = 1976)
@InProceedings(STANDISH-PROGRAM-MANIPULATION
,Key = "Standish"
,Author = "Standish, Thomas A.; Kibler, Dennis F.; and Neighbors, James M."
,Title = "Improving and Refining Programs by Program Manipulation"
,Booktitle = "Proceedings of the ACM National Conference"
,Organization = "Association for Computing Machinery"
,Address = "Houston, Texas"
,Month = OCT
,Year = 1976
,Pages = "509-516")
@Comment{
Steele, Guy L. Jr.
"A Proposal for a Multifield PDP-8 Timesharing System."
DECUSCOPE 10, 5. Digital Equipment Computer Users Society
(Maynard, Mass., 1971), 1-3.
⎇
@Comment{
Steele, Guy L. Jr.
"Letter Regarding PDP-10 Programming Standards."
DECUS DECSYSTEM-10/20 COPY-N-MAIL 5, 5.
Digital Equipment Computer Users Society (Maynard, Mass., May 1977), 40-44.
⎇
@Comment{
Steele, Guy L. Jr.
"Letter to Erich Knobil from Guy Steele Regarding Proposal
of a DECUS Subcommittee on the Next Generation Machine."
Reprinted in DECUS DECsystem-10/20 COPY-N-MAIL 4, 12.
Digital Equipment Computer Users Society (Maynard, Mass., December 1976), 50-54.
⎇
@Comment{
Steele, Guy Lewis Jr.
→Generation of Optimized Semaphore Synchronization Code_.
Senior thesis. Harvard U. (Cambridge, May 1975).
⎇
@Article(MULTIPROC-GC
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr"
,Title = "Multiprocessing Compactifying Garbage Collection"
,Journal = CACM ,Volume = "18" ,Number = "9"
,Month = Sep ,Year = "1975" ,Pages = "495-508" ,Note = "1975 ACM George E. Forsythe Student Paper Award: First Place."
)
@TechReport(IMPERATIVE
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "LAMBDA: The Ultimate Imperative"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "353" ,Month = Mar ,Year = "1976" ,Type = "AI Memo")
@TechReport(DECLARATIVE
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "LAMBDA: The Ultimate Declarative"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "379" ,Month = Nov ,Year = "1976" ,Type = "AI Memo")
@TechReport(SHIFTING-HARMFUL
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Arithmetic Shifting Considered Harmful"
,Institution = MITAI ,Address = CAMBRIDGE
,Note = "Also in ACM SIGPLAN Notices @b[12], 11 (November 1977), 61-69."
,Number = "378" ,Month = SEP ,Year = "1976" ,Type = "AI Memo")
@MastersThesis(RABBIT-THESIS,
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Compiler Optimization Based on Viewing LAMBDA as Rename plus Goto"
,School = MIT
,Year = 1977
,Month = MAY
,Note = "Published as @Cite(RABBIT).")
@TechReport(RABBIT
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Institution = MITAI
,Title = "RABBIT: A Compiler for SCHEME (A Study in Compiler Optimization)"
,Year = 1978
,Month = MAY
,Number = 474
,Note = "This is a revised version of the author's master's thesis
@Cite(RABBIT-THESIS).")
@InProceedings(FAST-ARITHMETIC-IN-MACLISP
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Fast Arithmetic in MacLISP"
,Booktitle = "Proceedings of the 1977 MACSYMA Users' Conference"
,Organization = "NASA Scientific and Technical Information Office"
,Address = "Washington, D.C."
,Month = JUL ,Year = 1977 ,Pages = "215-224"
,Note = "Also published as @Cite(FAST-ARITHMETIC-MEMO).")
@TechReport(FAST-ARITHMETIC-MEMO
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Fast Arithmetic in MacLISP"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "421" ,Month = SEP ,Year = "1977" ,Type = "AI Memo"
,Note = "Also appeared as @Cite(FAST-ARITHMETIC-IN-MACLISP).")
@InProceedings(DATA-REPRESENTATIONS-IN-MACLISP
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Data Representations in PDP-10 MacLISP"
,Booktitle = "Proceedings of the 1977 MACSYMA Users' Conference"
,Organization = "NASA Scientific and Technical Information Office"
,Address = "Washington, D.C."
,Month = JUL ,Year = 1977 ,Pages = "203-214"
,Note = "Also published as @Cite(DATA-REPRESENTATIONS-MEMO).")
@TechReport(DATA-REPRESENTATIONS-MEMO
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Data Representations in PDP-10 MacLISP"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "420" ,Month = SEP ,Year = "1977" ,Type = "AI Memo"
,Note = "Also appeared as @Cite(DATA-REPRESENTATIONS-IN-MACLISP).")
@InProceedings(MACARONI
,Key = "Steele"
,Author = "Steele, Guy L. Jr."
,Title = "Macaroni is Better than Spaghetti"
,BookTitle = "Proceedings of the Artificial Intelligence and Programming Languages Conference"
,Organization = "ACM SIGPLAN and SIGART"
,Year = "1977"
,Month = AUG
,Address = "Rochester, New York"
,Pages = "60-66"
,Note = "Proceedings published as @i[ACM SIGPLAN Notices] @b[12], 8 (August 1977)
and as @i[ACM SIGART Newsletter] @b[64] (August 1977).")
@InProceedings(DEBUNKING
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Booktitle = "Proceedings of the ACM National Conference"
,Organization = "Association for Computing Machinery"
,Title = "Debunking the `Expensive Procedure Call' Myth; or, Procedure Call Implementations Considered Harmful; or, LAMBDA: The Ultimate GOTO"
,Address = "Seattle"
,Year = 1977
,Month = OCT
,Pages = "153-162"
,Note = "Revised version published as @Cite(DEBUNKING-MEMO).")
@TechReport(DEBUNKING-MEMO
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr."
,Title = "Debunking the `Expensive Procedure Call' Myth; or, Procedure Call Implementations Considered Harmful; or, LAMBDA: The Ultimate GOTO"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "443" ,Month = OCT ,Year = "1977" ,Type = "AI Memo"
,Note = "This is a revised version of @Cite(DEBUNKING).")
@TechReport(SCHEME-REVISED-REPORT
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "The Revised Report on SCHEME: A Dialect of LISP"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "452" ,Month = Jan ,Year = "1978" ,Type = "AI Memo")
@TechReport(ART-OF-THE-INTERPRETER
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "The Art of the Interpreter; or, The Modularity Complex (Parts Zero, One, and Two)"
,Institution = MITAI ,Address = CAMBRIDGE
,Number = "453" ,Month = May ,Year = "1978" ,Type = "AI Memo")
@TechReport(CONSTRAINTS-MEMO
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "Constraints"
,Number = "502" ,Type = "AI Memo"
,Institution = MITAI
,Address = CAMBRIDGE
,Month = NOV
,Year = "1978"
,Note = "This also appeared as @Cite(CONSTRAINTS-APL79).")
@Inproceedings(CONSTRAINTS-MEMO
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "Constraints"
,Booktitle = "Proceedings of the APL 79 Conference"
,Organization = "ACM SIGPLAN STAPL"
,Address = "Rochester, New York"
,Year = "1979"
,Month = JUN
,Pages = "208-225"
,Note = "Proceedings published as @i[ACM SIGPLAN STAPL APL Quote Quad] @b[9], 4 (June 1979).
This paper also appeared as @Cite(CONSTRAINTS-MEMO).")
@Comment{
Steele, Guy Lewis Jr., and Sussman, Gerald Jay.
"Storage Management in a LISP-Based Processor."
Proc. Caltech Conference on Very Large Scale Integration (Pasadena, January 1979).
⎇
@TechReport(SCHEME-78
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "Design of LISP-Based Processors; or, SCHEME: A Dielectric LISP; or, Finite Memories Considered Harmful; or, LAMBDA: The Ultimate Opcode"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 514 ,Year = 1979 ,Month = Mar)
@TechReport(DREAMING
,Key = "Steele"
,Author = "Steele, Guy Lewis Jr., and Sussman, Gerald Jay"
,Title = "The Dream of a Lifetime: A Lazy Scoping Mechanism"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 527 ,Year = 1979 ,Month = Nov)
@InProceedings(S1-COMPILER
,Key = "Brooks"
,Author = "Brooks, Rodney A.; Gabriel, Richard P.; and Steele, Guy L. Jr."
,Title = "An Optimizing Compiler for Lexically Scoped LISP"
,BookTitle = "Proceedings of the 1982 Symposium on Compiler Construction"
,Organization = "ACM SIGPLAN"
,Year = "1982"
,Month = JUN
,Pages = "261-275"
,Address = "Boston"
,Note = "Proceedings published as @i[ACM SIGPLAN Notices] @b[17], 6 (June 1982).")
@Comment{
Steels, Luc.
→The XPRT Description System_.
AI Working Paper 178. MIT AI Lab (Cambridge, January 1979).
⎇
@Comment{
Steels, Luc.
→The Constraint Machine_.
(Draft) Schlumberger-Doll Research Lab (Ridgefield, Connecticut, May 1980).
⎇
@Comment{
Stoy, Joseph.
→The Scott-Strachey Approach to the Mathematical Semantics of Programming Languages_.
Project MAC Report. MIT (Cambridge, December 1974).
⎇
@Comment{
Stoy, Joseph E.
→Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory._
MIT Press (Cambridge, 1977).
⎇
@Comment{
Strong, H.R., Jr.
"Translating Recursion Equations into Flow Charts."
Journal of Computer and System Sciences 5, 3 (June 1971), 254-285.
⎇
@TechReport(MICRO-PLANNER
,Key = "Sussman"
,Author = "Sussman, Gerald Jay, Winograd, Terry, and Charniak, Eugene"
,Title = "Micro-PLANNER Reference Manual"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 203A ,Year = 1971 ,Month = Dec)
@TechReport(WHY-CONNIVING-IS-BETTER
,Key = "Sussman"
,Author = "Sussman, Gerald Jay, and McDermott, Drew Vincent"
,Title = "Why Conniving is Better than Planning"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 255A ,Year = 1972 ,Month = Apr)
@Comment{
Also appeared as →From PLANNER to CONNIVER -- A Genetic Approach_.
Proc. 1972 Fall Joint Computer Conference.
AFIPS Press (Montvale, New Jersey, 1972), 1171-1179.
⎇
@TechReport(HEURISTIC-TECHNIQUES
,Key = "Sussman"
,Author = "Sussman, Gerald Jay, and Stallman, Richard M"
,Title = "Heuristic Techniques in Computer-Aided Circuit Analysis"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 328 ,Year = 1975 ,Month = Mar)
@Comment{
IEEE Transactions on Circuits and Systems. Vol. CAS-22 (11) (November 1975).
⎇
@TechReport(SCHEME-REPORT
,Key = "Sussman"
,Author = "Sussman, Gerald Jay, and Steele, Guy Lewis Jr."
,Title = "SCHEME: An Interpreter for Extended Lambda Calculus"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 349 ,Year = 1975 ,Month = Dec)
@TechReport(SLICES
,Key = "Sussman"
,Author = "Sussman, Gerald Jay"
,Title = "SLICES: At the Boundary between Analysis and Synthesis"
,Institution = MITAI ,Address = CAMBRIDGE
,Type = "AI Memo"
,Number = 433 ,Year = 1977 ,Month = Jul)
@Comment{
Sutherland, Ivan E.
→SKETCHPAD: A Man-Machine Graphical Communication System_.
MIT Lincoln Laboratory Technical Report 296 (January 1963).
⎇
@Article(SUZUKI-POINTER-ROTATION
,Key = "Suzuki"
,Author = "Suzuki, Norihisa"
,Title = "Analysis of Pointer `Rotation'"
,Journal = CACM ,Volume = "25" ,Number = "5"
,Month = May ,Year = "1982" ,Pages = "330-335")
@Comment{
Sykes, Roy A., Jr.
"Whizbang of the Month: Branching and Iteration."
Scientific Time Sharing Corporation News 2, 10
(Bethesda, Maryland, January-February 1977), 5-6.
⎇
@Article(TARANTO59
,Key = "Taranto"
,Author = "Taranto, Donald"
,Title = "Binary Conversion, with Fixed Decimal Precision, of a Decimal Fraction"
,Journal = CACM ,Volume = "2" ,Number = "7"
,Month = Jul ,Year = "1959" ,Pages = "27")
@Comment{
Teitelman, Warren.
→InterLISP Reference Manual_.
Xerox Palo Alto Research Center (Palo Alto, 1974).
⎇
@Comment{
Teitelman, Warren.
→InterLISP Reference Manual_.
Revised edition. Xerox Palo Alto Research Center (Palo Alto, 1975).
⎇
@Comment{
Thomas, R.H.
→A Model for Process Representation and Synthesis_.
Ph.D. thesis. MIT (Cambridge, 1971).
⎇
@Comment{
Van Wijngaarden, A., et al.
→Revised Report on the Algorithmic Language Algol 68_.
Springer-Verlag (1976).
Reprinted in Acta Informatica, Vol. 5, 1-3 (1975),
and in SIGPLAN Notices 12, 5 (May 1977), 1-70.
⎇
@Comment{
Vuillemin, Jean.
"Correct and Optimal Implementations of Recursion in a Simple Programming Language."
Journal of Computer and System Sciences 9, 3 (December 1974).
⎇
@Comment{
Wadsworth, Christopher.
→Semantics and Pragmatics of the Lambda-calculus_.
Ph.D. Thesis. Oxford (1971).
⎇
@Comment{
Waltz, David L.
→Generating Semantic Descriptions from Drawings of Scenes with Shadows_.
AI TR-271. MIT AI Lab (Cambridge, November 1972).
⎇
@Comment{
Wand, Mitchell, and Friedman, Daniel P.
→Compiling Lambda Expressions Using Continuations_.
Technical Report 55. Indiana University (Bloomington, October 1976).
⎇
@Comment{
Wand, Mitchell.
→Continuation-Based Program Transformation Strategies_.
Technical Report 61.
Computer Science Department, Indiana University (Bloomington, March 1977).
Also in J. ACM 27, 1 (January 1980), 164-180.
⎇
@Comment{
Warren, David H.D., and Pereira, Luis.
"PROLOG: The Language and Its Implementation Compared with LISP."
Proceedings of the Symposium on Artifical Intelligence and Programming Languages
(Rochester, New York, August 1977).
ACM SIGPLAN Notices 12, 8, ACM SIGART Newsletter 64 (August 1977), 109-115.
⎇
@Comment{
Warren, David H.D.
→Implementing PROLOG: Compiling Predicate Logic Programs_.
Two volumes. D.A.I. Research Reports 39 and 40.
Department of Artificial Intelligence, University of Edinburgh (Edinburgh, May 1977).
⎇
@Comment{
Wegbreit, Ben, et al.
→ECL Programmer's Manual_.
Technical Report 21-72.
Center for Research in Computing Technology, Harvard U. (Cambridge, September 1972).
⎇
@TechReport(ECL-72
,Key = "Wegbreit"
,Author = "Wegbreit, Ben; Brosgol, Ben; Holloway, Glenn; Prenner, Charles; and Spitzen, Jay"
,Title = "ECL Programmer's Manual"
,Institution = "Harvard University Center for Research in Computing Technology"
,Address = CAMBRIDGE
,Year = 1972 ,Month = SEP ,Number = "21-72")
@TechReport(ECL
,Key = "Wegbreit"
,Author = "Wegbreit, Ben; Holloway, Glenn; Spitzen, Jay; and Townley, Judy"
,Title = "ECL Programmer's Manual"
,Institution = "Harvard University Center for Research in Computing Technology"
,Address = CAMBRIDGE
,Year = 1974 ,Month = DEC ,Number = "23-74")
@Comment{
Wegbreit, Ben.
→Studies in Extensible Programming Languages_.
Ph.D. Thesis. Harvard U. (Cambridge, 1970).
⎇
@Comment{
Wegbreit, Ben.
"A generalised compactifying garbage collector."
Computer J. 15, 3 (August 1972), 204-208.
⎇
@Comment{
Wegbreit, Ben.
"The ECL Programming System."
Proc. AFIPS 1971 FJCC, Vol. 39. AFIPS Press, Montvale, N.J. pp. 253-262.
⎇
@Article(WEGBREIT74
,Key = "Wegbreit"
,Author = "Wegbreit, Ben"
,Title = "The Treatment of Data Types in EL1"
,Journal = CACM ,Volume = "17" ,Number = "5"
,Month = May ,Year = "1974" ,Pages "251-264")
@Comment{
Wegner, Peter.
→Programming Languages, Information Structures, and Machine Organization_.
McGraw-Hill (New York, 1968).
⎇
@Comment{
Weinreb, Daniel, and Moon, David.
→LISP Machine Manual (Preliminary Version)_.
MIT AI Lab (Cambridge, November 1978).
⎇
@Comment{
Weinreb, Daniel, and Moon, David.
→LISP Machine Manual (Second Preliminary Version)_.
MIT AI Lab (Cambridge, January 1979).
⎇
@Article(WEIZENBAUM62
,Key = "Weizenbaum"
,Author = "Weizenbaum, J."
,Title = "Knotted list structures"
,Journal = CACM ,Volume = "5" ,Number = "3"
,Month = Mar ,Year = "1962" ,Pages = "161-165")
@Article(SLIP
,Key = "Weizenbaum"
,Author = "Weizenbaum, J."
,Title = "Symmetric list processor"
,Journal = CACM ,Volume = "6" ,Number = "10"
,Month = Sep ,Year = "1963" ,Pages = "524-544")
@InProceedings(MACLISP-HISTORY
,Key = "White"
,Author = "White, Jon L"
,Title = "LISP: Program is Data: A Historical Perspective on MacLISP"
,Booktitle = "Proceedings of the 1977 MACSYMA Users' Conference"
,Organization = "NASA Scientific and Technical Information Office"
,Address = "Washington, D.C."
,Month = JUL ,Year = 1977 ,Pages = "181-189")
@Comment{
Winograd, Terry.
→Procedures as a Representation for Data in a Computer Program
for Understanding Natural Language_.
AI TR-17. MIT AI Lab (Cambridge, February 1971).
⎇
@Comment{
Winston, Patrick Henry.
→New Progress in Artificial Intelligence_.
AI TR-310. MIT AI Lab (Cambridge, June 1974).
⎇
@Comment{
Winston, Patrick Henry.
→Artificial Intelligence_.
Addison-Wesley (Reading, Massachusetts, 1977).
⎇
@Article(WULF71
,Key = "Wulf"
,Author = "Wulf, W.A., Russell, D.B., and Habermann, A.N."
,Title = "BLISS: A Language for Systems Programming"
,Journal = CACM ,Volume = "14" ,Number = "12"
,Month = Dec ,Year = "1971" ,Pages = "780-790")
@Comment{
Wulf, William A.
"Systems for Systems Implementors -- Some Experiences from BLISS."
Proc. AFIPS 1972 FJCC. AFIPS Press (Montvale, N.J., 1972).
⎇
@Comment{
Wulf, William A., and Shaw, Mary.
"Global Variable Considered Harmful."
SIGPLAN Notices 8, 2 (February 1973), 28-34.
⎇
@Book(BLISS-11
,Key = "Wulf"
,Author = "Wulf, William; Johnsson, Richard K.; Weinstock, Charles B.; Hobbs, Steven O.; and Geschke, Charles M."
,Title = "The Design of an Optimizing Compiler"
,Publisher = "American Elsevier"
,Year = 1975
,Address = "New York"
,Volume = 2
,Series = "Programming Language Series")
@Article[SMALLTALK-80,
Key=<XeroxLRG>,
Author=<The Xerox Learning Research Group>,
Title=<The Smalltalk-80 System>,
Journal=<Byte>,
Month=AUG,
Year=<1981>,
Volume=<6>,
Number=<8>,
Pages=<36-48>
]
@Comment{
Yngve, Victor H.
→Computer Programming with COMIT II_.
The MIT Press (Cambridge, 1972).
⎇
@Comment{
Yourdon, Edward.
→Techniques of Program Structure and Design_.
Prentice-Hall (Englewood Cliffs, N.J., 1975).
⎇
@Manual(MACSYMA
,Key = "MACSYMA"
,Title = "MACSYMA Reference Manual (Version Nine)"
,Organization = MITLCS
,Author = "The Mathlab Group"
,Year = "1977"
,Address = CAMBRIDGE)